perm filename FOO.AX[W81,JMC] blob sn#559212 filedate 1981-01-27 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%testing tauteq
C00003 ENDMK
C⊗;
%testing tauteq
declare INDCONST A B;
declare PREDCONST P 1;
AXIOM FOO: P(A)∧¬P(B);;